N-Prolog - определение. Что такое N-Prolog
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое N-Prolog - определение

YAP-Prolog; Yet Another Prolog; YAP Prolog

N-Prolog      
Prolog extended with explicit negation. Dov Gabbay <dg@doc.ic.ac.uk>. [J Logic Programming].
PROLOG         
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
PROgramming in LOGic
Prolog         
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
·noun & ·v Prologue.

Википедия

YAP (Prolog)

YAP is an open-source, high-performance implementation of the Prolog programming language developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus Prolog and SICStus Prolog. YAP has been developed since 1985. The original version was written in assembly, C and Prolog, and achieved high performance on m68k-based machines.